Перевод: со всех языков на все языки

со всех языков на все языки

теория типов

См. также в других словарях:

  • ТЕОРИЯ ТИПОВ — англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств …   Энциклопедия социологии

  • теория типов — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN theory of types …   Справочник технического переводчика

  • Теория типов — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. В …   Википедия

  • ТЕОРИЯ ТИПОВ — англ. theory, types; нем. Typentheorie. Способ построения формальной (математической) логики, при к ром вводится различение объектов нескольких уровней (типов). Ее суть состоит в различении по типам: индивидов (тип 1), их свойств (тип 2), свойств …   Толковый словарь по социологии

  • Теория типов Кювье — была предложена как противовес защищавшейся тогда трансформистами (см. Трансформизм) Т. единства плана строения животных. По Кювье, присматриваясь к разнообразию строения органов, можно заметить, что одни из них являются более постоянными в своей …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • ТЕОРИЯ ЛИТОГЕНЕЗА — обобщающий раздел литологии, выясняющий общие закономерности осадко и породообразования и дающий их истолкование. Т. л. начала впервые создаваться в советской литологии около четверти века тому назад, причем к настоящему времени предложено… …   Геологическая энциклопедия

  • Теория множеств — Теория множеств  раздел математики, в котором изучаются общие свойства множеств. Теория множеств лежит в основе большинства математических дисциплин; она оказала глубокое влияние на понимание предмета самой… …   Википедия

  • ТИПОВ ТЕОРИЯ — формальная теория 1 го порядка (см. Формальная система), один из вариантов к рой простая теория типов описан ниже. Термин лТ. т …   Математическая энциклопедия

  • ТЕОРИЯ ПОЗНАНИЯ — Гносеология (от греч. gno sis знание, logos слово, понятие), Эпистемолог и я (от греч. episteme знание) раздел философии, исследующий природу человеческого познания, его источники и предпосылки, отношение знания к предмету познания, условия… …   Философская энциклопедия

  • Теория привязанности — Теория привязанности  это психологическая, эволюционная, и этологическая теория о взаимоотношениях между людьми. Основное положение теории привязанности состоит в том, что для нормального социального и эмоционального развития ребенку… …   Википедия

  • Теория струн — Теория суперструн Теория …   Википедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»